Finding broken promises in asynchronous JavaScript programs
نویسندگان
چکیده
منابع مشابه
Broken Promises: An Experiment
We test whether promises per se are effective in enhancing cooperative behavior in a form of trust game. In a new treatment, rather than permitting free-form messages, we instead allow only a bare promise-only message to be sent (or not). We find that bare promises are much less effective in achieving good social outcomes than free-form messages; in fact, bare promise-only messages lead to beha...
متن کاملNo More Broken Promises
The global fight against HIV/AIDS continues to pose challenges: infection rates are on the rise in many settings, stigma and discrimination remain rampant, and the global response is under increasing financial pressure. There is a high risk of losing what has been achieved so far in the fight against HIV and AIDS, but also the momentum to meet the so-called Fast Track targets for 2030. In light...
متن کاملBroken promises and quantum algorithms
In the black-box model, promise problems are the only ones that admit a quantum exponential speedup over the best classical algorithm in terms of query complexity. The most prominent example of this is the Deutsch-Jozsa algorithm. More recently, Wim van Dam put forward an algorithm for unstructured problems (ie, those without a promise). We consider the Deutsch-Jozsa algorithm with a less restr...
متن کاملFinding Non-terminating Executions in Distributed Asynchronous Programs
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based communication. As even simple programming mistakes have the capability to introduce divergent behavior, a key liveness property is eventual quiescence: for any finite number of external stimuli (e.g., client-generated ...
متن کاملInferring Types for Asynchronous Arrows in JavaScript
Asynchronous programming with callbacks in JavaScript leads to code that is difficult to understand and maintain. Arrows, a generalization of monads, are an elegant solution to asynchronous program composition. Unfortunately, improper arrow composition can cause mysterious failures with subtle sources. We present an arrows-based DSL in JavaScript which encodes semantics similar to ES6 Promises ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2018
ISSN: 2475-1421
DOI: 10.1145/3276532